#include <stdio.h> 
main()
{
 int i,s;
 for(i=1000;i<=2014;i++)
 {
 	  if(i%4==0&&i%100!=0||i%400==0)
 	   printf("%d ",i); 
 }  
}
